Preserving Regularity and Related Properties
نویسنده
چکیده
A nite string-rewriting system R preserves regularity if and only if it preserves-regularity, where is the alphabet containing exactly those letters that have occurrences in the rules of R. This proves a conjecture of Gyenizse and VV agvv olgyi (1995). In addition, some undecidability results are presented that generalize some results of Gilleron and Ti-son (1995) from term-rewriting systems to string-rewriting systems. In particular, it is shown that it is undecidable in general whether a nite, length-reducing, and connuent string-rewriting system yields a regular set of normal forms for each regular language.
منابع مشابه
Periodic Functions for Finite Semigroups
This paper introduces the concept of ultimately periodic functions for nite semigroups. Ultimately periodic functions are shown to be the same as regularity-preserving functions in automata theory. This characterization reveals the true algebraic nature of regularity-preserving functions. It makes it possible to prove properties of ultimately periodic functions through automata-theoretic method...
متن کاملStrong Topological Regularity and Weak Regularity of Banach Algebras
In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...
متن کاملNon-regularity of multiplications for general measure algebras
Let $fM(X)$ be the space of all finite regular Borel measures on $X$. A general measure algebra is a subspace of$fM(X)$,which is an $L$-space and has a multiplication preserving the probability measures. Let $cLsubseteqfM(X)$ be a general measure algebra on a locallycompact space $X$. In this paper, we investigate the relation between Arensregularity of $cL$ and the topology of $X$. We find...
متن کاملArens regularity and cohomological properties of Banach lattice algebra
A Banach lattice algebra is a Banach lattice, an associative algebra with a sub-multiplicative norm and the product of positive elements should be positive. In this note we study the Arens regularity and cohomological properties of Banach lattice algebras.
متن کاملAutomata, Boolean Matrices, and Ultimate Periodicity
This paper presents a Boolean-matrix-based method to automata theory, with an application to the study of regularity-preserving functions. A new characterization of such functions is derived in terms of the property of ultimate periodicity with respect to powers of Boolean matrices. This characterization reveals the intrinsic algebraic nature of regularity-preserving functions. It facilitates a...
متن کامل